Evaluating the effectiveness of the abstract transaction model in testing Web services transactions

Web services transactions are used to build efficient and reliable web applications which are distributed across the Internet and are accessed by multiple simultaneous users. Current research develops various models and protocols in order to improve the performance and reliability of web services transactions. However, there is little research on testing the different models and protocols of web services transactions. This paper presents an abstract transaction model that patterns different web services transactions standards. This model is capable of deriving concrete models in order to automatically generate test cases for different web services transactions standards. The proposed model is implemented as a prototype system and is evaluated using a case of the Jboss Transaction. The evaluation shows that the proposed system has the capability to automatically generate test cases and detect possible failures of transactions running under different web services transactions standards.